1. Abstract Interpretation of Declarative Languages
Author: Editors Samson Abramsky, Chris Hankin
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer Programs (validation),Structured Programming
Classification :
QA
،
76
.
76
،.
V47
،
1987
